#ifndef DEAD_CODE_HPP
#define	DEAD_CODE_HPP

#include <set>
#include "monotone_framework.hpp"
using namespace std;


class dead_code {
public:
	dead_code(const CFGvisitorFlatInfo& _flat, const LiveVariable& _lv);
	set<label_t> dead();
	
private:
	ASTnode* getPayload(label_t ell0) const;
	ASTnode* getPayload(CFGvertex *n) const;
	const CFGvisitorFlatInfo& flat;
	const LiveVariable& lv;
};

#endif	/* DEAD_CODE_HPP */

